完全模糊线性规划及其近似计算

在扩充LR-模糊数定义的基础上,讨论了完全模糊约束条件的近似表示和转化定理;在新的模糊数序关系下,将完全模糊线性规划问题直接转化为分明的线性规划进行求解;与已有的结果进行了比较,并给出了算例.     

最小自然数原理在初等数论中的几个应用

利用最小自然数原理简化了一些重要的数论问题的证明,阐述了最小自然数原理的重要性和应用问题.     

拉姆齐测验:一个新的解释思路

拉姆齐测验描述了人们决定接受p后,是不是接受q,从而对他的其它信念作最小修正的问题。20世纪60年代后,学界对这种思想进行了不同的解释,从总体上看,主要有两种:简单的拉姆齐测验和精致的拉姆齐测验。在分析这两种观点的基础上,我们认为这两种解释都存在一定的问题,在本文中,我们提出了一个基于拉姆齐测验的新的逻辑解释思路。     

基于柔性约束的EAF配料模型研究

基于现代EAF炼钢流程的工艺特点,通过引入模糊数的概念,将配料成分约束模糊化,建立了基于柔性约束的配料模型,来提高配料的灵活性和适应性。采用模糊区间和模糊机会约束规划技术实现柔性约束的清晰化,合理解决了传统线性规划中由于约束条件过多、过于严格而导致的成本增加,甚至模型无解的问题,并通过仿真试验验证了方法的有效性。     

基于流-固-损伤全耦合模型的裂隙型岩溶突涌水数值模拟

岩溶地区隧道建设频遇突涌水灾害,裂隙型突涌水勘察与预测难度极大、致灾风险高。为揭示裂隙型岩溶突涌水机理与明确前兆信息,本文基于“流-固-损伤”耦合模型对裂隙型岩溶突涌水致灾机理与临界条件展开研究。通过公式推演与多场耦合数值分析得到以下结论：(1)建立了完整的“流-固-损伤”耦合裂隙型岩溶突涌水致灾机理数学模型,并论证其可行性与合理性;(2)分析了不同溶腔水压工况下,隧道拱顶围岩位移演化规律。结果表明,裂隙型岩溶突涌水与富水溶腔水压高度相关;(3)分析了临界突水条件下围岩特性,提出了“缓慢增长段-快速增长段-位移失控段”的三阶段裂隙型岩溶突涌水围岩位移演化规律。     

堤坝管涌发展的改进模型

为了解决管涌通道的发展问题和管涌发展的数值计算问题,根据管涌实际形成机理,对管涌的微观物理模型进行了改进:在可动颗粒系统中,对可动颗粒按照粒径的大小进行分类,每个可动粒组作为一个整体圆管,按照粒径大小顺序,从通道管壁向中心依次排列。根据建立的新模型推导出新的可动颗粒起动的临界水头公式,并计算了两种典型级配土样的临界水头。结果表明:改进模型具有可行性和先进性,更适用于管涌动态发展的数值计算,为管涌的研究提供了更为简便的方法,并为管涌的数值计算进一步发展提供一个可行的新思路。?     

潘一矿煤钻屑瓦斯解吸指标Δh2值的突出敏感性及其临界值

针对中国工作面突出预测敏感指标及其临界值的研究现状,通过理论分析、实验室实验和现场测试等方法,提出采用煤钻屑瓦斯解吸指标Δh2值作为工作面突出的判定理论和敏感指标的判定方法,以潘一矿13-1煤层采掘工作面为研究对象,选用"三率"法和"灰色关联"分析方法对提出的理论进行了验证。采用钻屑瓦斯解吸指标Δh2作为采掘工作面突出的判定方法,解决了敏感指标间相互交叉的问题和临界值模糊性难题,提高了敏感指标的适应性。     

基于色度学的浮点数算法设计

以浮点数为基础,首先对色度学基本公式进行化简,使程序更为简洁,并节省硬件资源.随后按照自顶向下的系统设计流程,采用模块化设计方法,利用Verilog HDL语言设计硬件电路,对64位双精度浮点数运算模块进行设计.利用仿真软件对3个模块分别进行功能仿真,给出功能仿真图和仿真实数显示图.在通过仿真验证之后,采取调用运算模块的方法将各个模块组合起来进行系统的设计和仿真.为了验证程序的正确性,选用Mat-lab软件进行算法验证.通过对比两组结果发现:Modelsim程序的输出结果由于受到位数的限制,最终只能精确到小数点后第6位,而Matlab的输出结果位数可以精确到小数点后第14位,但两组结果在同时保留6位小数的情况下可以保证数值的一致性.因此,浮点数运算模块误差较小,具有较高的可行性和可靠性,适合在进一步设计中加以应用.     

量子棒中磁极化子的回旋共振特性和光学声子平均数

基于Huybrechts线性组合算符法,采用Lee—Low-Pines幺正变换和变分技术研究了磁场中量子棒内抛物限制势下电子一体纵光学声子强耦合磁极化子基态的回旋共振特性,推导出磁极化子回旋共振频率和光学声子平均数与磁场的回旋频率、电子一声子耦合强度、量子棒的纵横比和受限强度的变化规律。数值结果表明：磁极化子的光学声子...     

三色拉姆塞数R3(C8)研究

用r种颜色对图G的所有边着色,记着第i色的边构成的子图为Gi,如果存在一种着色方法使得每一个Gi(1≤i≤r)都不包含图H,则称图G对于H可以r着色.拉姆塞数Rr(H)是使得完全图Kn对于H不可以r着色的最小正整数n.令Cm表示长度为m的圈,Dzido等证明了R3(C2k)≥4k.本文对k=4的情形进行研究,利用计算机,通过大量的计算证明了R3(C8)=16.